/* Benchmarks for the PionterC verifier. */

/*@ i>=0*/
int f(int i)
{
  return i+1;
}
/*@ result>=1 */

/*@ */
void main()
{
  return;
}
/*@ */
